$\forall$${\it es}$:ES, $k$:Knd, $e$:E. es{-}kind{-}index(${\it es}$;$k$;$e$) $\in$ $\mathbb{N}$